Search results for "Topological category"
showing 5 items of 5 documents
On fuzzification of topological categories
2014
This paper shows that (L,M)-fuzzy topology of U. Hohle, T. Kubiak and A. Sostak is an instance of a general fuzzification procedure for topological categories, which amounts to the construction of a new topological category from a given one. This fuzzification procedure motivates a partial dualization of the machinery of tower extension of topological constructs of D. Zhang, thereby providing the procedure of tower extension of topological categories. With the help of this dualization, we arrive at the meta-mathematical result that the concept of (L,M)-fuzzy topology and the notion of approach space of R. Lowen are ''dual'' to each other.
On ordered categories as a framework for fuzzification of algebraic and topological structures
2009
Using the framework of ordered categories, the paper considers a generalization of the fuzzification machinery of algebraic structures introduced by Rosenfeld as well as provides a new approach to fuzzification of topological structures, which amounts to fuzzifying the underlying ''set'' of a structure in a suitably compatible way, leaving the structure itself crisp. The latter machinery allows the so-called ''double fuzzification'', i.e., a fuzzification of something that is already fuzzified.
On the category Set(JCPos)
2006
Category Set(JCPos) of lattice-valued subsets of sets is introduced and studied. We prove that it is topological over SetxJCPos and show its ''natural'' coalgebraic subcategory.
Categories of lattice-valued sets as categories of arrows
2006
In this paper we introduce a category X(A) which is a generalization of the category of lattice-valued subsets of sets Set(JCPos) introduced by us earlier. We show the necessary and sufficient conditions for X(A) to be topological over XxA.
On a generalization of Goguen's category Set(L)
2007
The paper considers a category which generalizes Goguen's category Set(L) of L-fuzzy sets with a fixed basis L. We show the necessary and sufficient conditions for the generalized category to be a quasitopos and consider additional inner structure supplied by the latter property.